1. A Never Ending Story-Mathematics, Computer Science and Logic
پدیدآورنده : / Peter Paule
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. A computer based biomedical information system: I. Logic foundation and techniques
پدیدآورنده : Syner, James C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Information storage and retrieval systems
رده :
Z
699
.
5
.
M39
S9
3. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
پدیدآورنده : Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
4. Algebraic Logic and Universal Algebea in Computer Science Confrence...Proceedings
پدیدآورنده : C.H.Bergman,R.D.Maddux,D.L.Pigozzi)eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L4
v
.
425
5. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
پدیدآورنده : Algebraic Logic and Universal Algebra in Computer Science Conference )8891 :Ames, Iowa(, C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
رده :
QA
10
.
A45
1990
6. Algebraic logic and universal algebra in computer science : Conference, Ames, Iowa, USA, June 1-4, 1988 : Proceedings
پدیدآورنده : C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L28
Vol
.
425
7. An introduction to computer logic
پدیدآورنده : Nagle, H. Troy
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic circuits,، Electronic digital computers - Circuits
رده :
TK
7888
.
4
.
N33
1975
8. An introduction to computer logic
پدیدآورنده : (by) H. Troy Nagle, Jr., B. D. Carroll (and) J. David Irwin
موضوع : Logic circuits,Electronic digital computers - Circuits
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
9. An introduction to computer logic
پدیدآورنده : / [by] H. Troy Nagle, Jr., B. D. Carroll [and] J. David Irwin
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic circuits,Electronic digital computers- Circuits
رده :
TK7888
.
4
.
N33
10. An introduction to computer logic
پدیدآورنده : / H. Troy Nagle, B. D. Carroll, J. David Irwin
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic circuits,Electronic digital computers - Circuits
رده :
621
.
38195
82
N149i
11. Applied logic for computer scientists.
پدیدآورنده : \ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a01,a03,a01,a03
رده :
E-B00k
,
12. Applied logic for computer scientists : computational deduction and formal proofs
پدیدآورنده : Ayala-Rincon, Mauricio
کتابخانه: (طهران)
موضوع : ، Computer logic,، Computer science -- Mathematics
رده :
QA
76
.
9
.
L63A92
13. Arithmetic and logic in computer systems. ]CD[
پدیدآورنده : Lu, Mi., Mi Lu
موضوع : ، Computer arithmetic,، Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Arithmetic and logic in computer systems
پدیدآورنده : Lu, Mi
کتابخانه: (طهران)
موضوع : ، Computer arithmetic,، Logic programming
رده :
QA
76
.
9
.
C62L8
15. Arithmetic and logic in computer systems
پدیدآورنده : Lu, Mi
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer arithmetic,، Logic programming
رده :
QA
76
.
9
.
C62L8
16. Arithmetic and logic in computer systems
پدیدآورنده : Mi Lu
کتابخانه: (کرمان)
موضوع : Computer arithmetic,Logic programming
رده :
QA
76
.
9
.
C62
,
L8
2004
17. Arithmetic and logic in computer systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer arithmetic. ; Logic programming. ;
18. Axiomatising the Logic of Computer Programming
پدیدآورنده : by Robert Goldblatt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer science.,Logic design.
19. Beginner's guide to computer logic
پدیدآورنده : Stapleton, Gerald F.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic circuits,، Electronic digital computers - Circuits
رده :
TK
7868
.
S9
S65
1971
20. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
